]> dgit.raspbian.org Git - gnome-shell.git/commit
ci: Rename Dockerfile
authorFlorian Müllner <fmuellner@gnome.org>
Sat, 4 Apr 2020 00:22:00 +0000 (02:22 +0200)
committerverdre <jonas@dressler.it>
Tue, 28 Apr 2020 09:04:49 +0000 (09:04 +0000)
commite7512fcd790fdde4b7f929509cc72cc71519ff7a
treea33328c0e6858fc70d665666e81e33b519eb0c9b
parent2b7015179418be402853633f79a06f12181421ad
ci: Rename Dockerfile

Our primary image now comes from mutter, so the default Dockerfile
name is free for our JS image.

https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/1177
.gitlab-ci/Dockerfile [new file with mode: 0644]
.gitlab-ci/Dockerfile.extension-ci [deleted file]